Automated Synthesis of Timed Failure Propagation Graphs
نویسندگان
چکیده
Timed Failure Propagation Graphs (TFPGs) are used in the design of safety-critical systems as a way of modeling failure propagation, and to evaluate and implement diagnostic systems. TFPGs are mostly produced manually, from a given dynamic system of greater complexity. In this paper we present a technique to automate the construction of TFPGs. It takes as input a set of failure mode and discrepancy nodes and builds the graph on top of them, based on an exhaustive analysis of all system behaviors. The result is a TFPG that accurately represents the sequences of failures and their effects as they appear in the system model. The proposed approach has been implemented on top of state-ofthe-art symbolic model-checking techniques, and thoroughly evaluated on a number of synthetic and industrial benchmarks.
منابع مشابه
SMT-Based Validation of Timed Failure Propagation Graphs
Timed Failure Propagation Graphs (TFPGs) are a formalism used in industry to describe failure propagation in a dynamic partially observable system. TFPGs are commonly used to perform model-based diagnosis. As in any model-based diagnosis approach, however, the quality of the diagnosis strongly depends on the quality of the model. Approaches to certify the quality of the TFPG are limited and mai...
متن کاملA Consistency-based Robust Diagnosis Approach for Temporal Causal Systems∗
In this paper we present a consistency-based robust diagnosis approach for a class of temporal causal systems modeled as timed failure propagation graphs. Timed failure propagation graphs are causal models that capture the temporal characteristics of failure propagation in dynamic systems. In this paper, we define the problem of robust diagnosis for this class of systems and introduce an optima...
متن کاملTimed Dependence Flow Graphs, an Intermediate Form for Veri ed High-level Synthesis
{We present timed dependence ow graphs, an intermediate form for high-level synthesis from speciications written in behavioral hardware description languages. Timed dependence ow graphs express data, control, resource access, and timing dependences, and can be constructed in linear time from behavioral VHDL descriptions. We also present a formal execution semantics for timed dependence ow graph...
متن کاملFailure Prognosis Using Timed Failure Propagation Graphs
Timed failure propagation graph (TFPG) is a causal model that captures the causal and temporal aspects of failure propagation in a wide variety of engineering systems. In this paper we investigate the problem of failure prognosis within the TFPG model settings. The paper introduces a formal definition for system reliability based on measures of failure criticality, proximity between alarm obser...
متن کاملTimed Dependence Flow Graphs , an Intermediate Formfor
We present timed dependence ow graphs, an intermediate form for high-level synthesis from speciica-tions written in behavioral hardware description languages. Timed dependence ow graphs express data, control, resource access, and timing dependences, and can be constructed in linear time from behavioral VHDL descriptions. We also present a formal execution semantics for timed dependence ow graph...
متن کامل